Nuprl Definition : eclcatch 0,22
eclcatch(a;l) == inr(inr(inr(inr(inr(inr(inr(<a,l>))))))) 
latex

Definitionsinr(x), <a,b>
FDL editor aliaseseclcatch, eclcatch

origin